Automated Dynamic Assembly of Dependable System Architectures
نویسنده
چکیده
ion_map(BindMapDefn) --> bindings_map_definition(BindMapDefn). abstraction_map(Omd) --> other_map_definition(Omd). abstraction_map([]) --> []. property_s_list([Prop|PropL]) --> property_s(Prop), [token(’;’, misc)], property_s_list(PropL). property_s_list([Prop]) --> property_s(Prop), opt_semi. property_s_list([]) --> []. bindings_map_definition(bindings_map_definition(TypedId, BindL)) --> [token(bindings, key)], typed_identifier(TypedId), [token(’=’, misc)], !, startblock, bindings_list(BindL), endblock. bindings_map_definition(unnamed_bindings_map_definition(BindL)) --> [token(bindings, key)], startblock, bindings_list(BindL), endblock. bindings_list([Bind|BindL]) --> binding(Bind), [token(’;’, misc)], bindings_list(BindL). bindings_list([Bind]) --> binding(Bind), opt_semi.
منابع مشابه
Adaptive Architectures for Future Highly Dependable, Real-Time Systems
Many present-day safety-critical or mission-critical military applications are deployed using intrinsically static architectures. Often these applications are real-time systems, where late responses may cause potentially catastrophic results. Static architectures allow system developers to certify with a high degree of confidence that their systems will provide correct functionality during oper...
متن کاملDesign of FPGA-Based Dependable Systems
In this paper, the new methodology from areas fault tolerant systems based on automated generation of checkers in FPGA is presented. Dependability models of architectures based on the use of online checkers are described in the paper as well. First, the results of our research in the area of on-line checkers design are described. It is shown how the architectures with on-line checkers can be us...
متن کاملSimulation of a Two Cards JIT Production System
This paper presents a summary of the results from the simulation of a given two-stages production system which uses JIT. The system consists of an assembly line with two automated assembly cells and two assembly stock points and one manufacturing cell with three manufacturing stock points for storing reserved parts and one receiving stock. Carts with fixed capacity are used for handling the par...
متن کاملScheduling of Multiple Autonomous Guided Vehicles for an Assembly Line Using Minimum Cost Network Flow
This paper proposed a parallel automated assembly line system to produce multiple products having multiple autonomous guided vehicles (AGVs). Several assembly lines are configured to produce multiple products in which the technologies of machines are shared among the assembly lines when required. The transportation between the stations in an assembly line (intra assembly line) and among station...
متن کاملDeveloping Dependable Systems Using Software Architecture
The construction of dependable software systems is recognized as a complex task: the system developer has to address the usage of fault tolerance techniques in addition to the design of the functional aspects that are specific to the system. This paper proposes a framework aimed at easing the development of dependable systems by providing software designers with a repository of dependable softw...
متن کامل